621. Introduction to the theory of programming languages
پدیدآورنده : Gilles Dowek, Jean-Jacques Laevy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
رده :
QA
.
D6813
76
.
7
2011
622. Introduction to the theory of programming languages
پدیدآورنده : Bertrand Meyer,Title
کتابخانه: (Mazandaran)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
623. Introduction to the theory of programming languages
پدیدآورنده : / bertrand Meyer,Meyer
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Programming language (Electronic Computers),Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
7
.
M49
1990
624. Introduction to the theory of programming languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Programming languages (Electronic computers) ; Semantics. ;
625. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand, 0591-
کتابخانه: (Semnan)
موضوع : ، Programming languages )electronic computers(,، Programming languages )electronic computers( - Semantics
رده :
QA
76
.
7
.
M4I5
626. Introduction to the theory of programming languages
پدیدآورنده : / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
627. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
1991
628. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
629. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand, 0591-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Programming languages )Electronic computers(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
630. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: Ilam University Central Library (Ilam)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
631. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
632. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده : Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
633. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده : Di Cosmo, Roberto, 3691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
634. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
635. JULIA 1.0 PROGRAMMING COMPLETE REFERENCE GUIDE :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Programming languages (Electronic computers)
636. Java : a beginner's guide
پدیدآورنده : Schildt, Herbert
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Java )Computer program language(,، COMPUTERS / Programming Languages / Java
رده :
QA
76
.
73
.
J38
S327
2017
637. Java 2 certification exam guide for programmers
پدیدآورنده : / by Barry Boone and Willam R. Stanek
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic Data Processing personnel certification,Programming languages - (Electronic computers) -- Examinations -- Study guides,Java (Computer program language)
رده :
QA
76
.
3
.
B658
2000
638. Java 2 certification exam guide for programmers and developers
پدیدآورنده : Boone, Barry
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing personnel-- Certification,، Programming languages )Electronic computers(-- Examinations,، Java )Computer program language(
رده :
QA
76
.
3
.
B658
2000
639. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
رده :
QA76
.
3
.
J39
1999
640. Java 2 certification training guide /
پدیدآورنده : Jamie Jaworski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations.
رده :
QA76
.
3
.
J39
1999
